U((b(a))) : b
a
